$\forall$$a$:Unit. $a$ = $\cdot$